Le monument d’August Nyman au musée Schoelcher

Au temps en emporte le C

Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...

Substituabilité au voisinage pour le cadre WCSP

WCSP is an optimization problem for which many forms of soft local (arc) consistencies such as existential directional arc consistency (EDAC) and virtual arc consistency (VAC) have been proposed these last years. In this paper, we adopt a different perspective by revisiting the well-known property of (soft) substitutability. First, we provide a clear picture of the relationships existing betwee...

Un système de recommandation sensible au contexte pour la visite de musée

Our work is in the field of the support systems to museum visits and access to cultural heritage. Our goal is to design a recommendation system implemented on mobile devices adaptable to the user’s profile and sensitive to its context, to improve the user experience and help build his visits to the museum based on his preferences and constraints. MOTS-CLÉS : systèmes de recommandation, web séma...

Le critére de Beurling et Nyman pour I'hypothése de Riemann: aspects numériques

Thomas Nyman

The following paper attempts to discuss the connection between meaning and use in language by examining how we can speak of sharing and not sharing with others. As an introduction to this theme a passage is presented and discussed from Raimond Gaita‟s book A common humanity: thinking about love truth and justice, in which he speaks of the importance of other human beings. This subject of others...